REF, NoConds
RepUR ``$abs`` $hyp == RepUR ``$abs`` ( $hyp) 

latex

Up	Tactics as terms
FDL editor aliases	-ru